int stack_main();